Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
591	ALGORITHMS FOR BOOLEAN FUNCTION QUERY PROPERTIES SCOTT AARONSON∗ Abstract. We investigate efficient algorithms for computing Boolean function properties relevant to query complexity. Such properties include, for exampl Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2006-11-24 03:47:48 Computational complexity theory Analysis of algorithms Boolean algebra Complexity classes Decision tree model Time complexity Circuit complexity Randomized algorithm Circuit Theoretical computer science Applied mathematics Mathematics
592	Connectives on spiders (for a connectives web) then © Copyright 2009, SparkleBox Teacher Resources (SpakleBox KS2 - www.sparklebox2.co.uk) Connectives on spiders (for a connectives web) Add to Reading List Source URL: resources.sparkleboxres.co.uk Language: English - Date: 2014-08-24 05:01:20 Logic Mathematical logic Notation Propositional calculus Logic in computer science Concurrent MetateM Logical connective Spider Boolean algebra
593	Formal Verification of Digital Circuits Using Symbolic Ternary System Models Randal E. Bryant Carl-Johan Seger Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-16 11:31:41 Mathematical logic Algebraic logic Circuit Boolean function Model checking FO Topology Boolean algebras canonically defined Boolean circuit Theoretical computer science Mathematics Boolean algebra
594	Microsoft Word - ASPDAC Support Reduciing final.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-01-30 12:29:36 Diagrams Binary decision diagram Model checking Symmetry in mathematics Function Heuristic Emmy Noether Group Symmetry Mathematics Boolean algebra
595	The daily citizen. (Asheville, N.C[removed]p ]. Add to Reading List Source URL: chroniclingamerica.loc.gov Language: English - Date: 2013-09-06 22:03:58 Asheville metropolitan area Asheville North Carolina Algebra Ambient intelligence Exclusive or Lattice Abstract algebra Boolean algebra Propositional calculus
596	COCV[removed]Optimisation Validation David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-13 11:03:23 Programming language theory Philosophical logic Procedural programming languages Boolean algebra ALGOL 68 Quantification Negation Logic Semantics Mathematical logic
597	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
598	Parallel Multi-Party Computation from Linear Multi-Secret Sharing Schemes ? Zhifang Zhang1 , Mulan Liu1?? , and Liangliang Xiao2 1 Academy of Mathematics and Systems Science, Key Laboratory of Mathematics Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:53 Boolean algebra Applied mathematics Theoretical computer science PROPT Secure multi-party computation Numerical software Mathematics
599	The PMA and Relativizing Change for Action Update Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:08:21 Boolean algebra Propositional calculus Modal logic Philosophical logic Consistency Well-formed formula Mereology Logic Mathematical logic Non-classical logic
600	Coupled Cell Systems Martin Golubitsky Department of Mathematics University of Houston Ian Stewart, University of Warwick Matt Nicol, University of Houston Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2003-12-16 11:15:17 Mathematics Boolean algebra PROPT Numerical software GEC Minicomputers

UPDATE